$\forall$$M$:MsgAForm, $i$:Id. ma{-}outlinks($M$;$i$) $\in$ (IdLnk$\times$Id$\times$Type) List